Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท20h
๐งฎAlgebraic Archives
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Functional Compilers
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
๐ปProgramming languages
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท1d
๐Brotli Dictionary
Flag this post
From Lossy to Lossless Reasoning
๐จCompilers
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.orgยท2d
๐Functional Compilers
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comยท7h
๐งชProperty-Based Testing
Flag this post
Everything About Transformers
krupadave.comยท1d
๐Text Parsing
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Category Theory
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.ukยท3d
๐ตAudio ML
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท2h
โกProof Automation
Flag this post
Testing Cross-Lingual Text Comprehension In LLMs Using Next Sentence Prediction
arxiv.orgยท1d
๐Text Parsing
Flag this post
Show HN: sjl โ Simple JSON Logger for Rust
๐CBOR
Flag this post
Loading...Loading more...